Characterising the Complexity of Constraint Satisfaction Problems Defined by 2-Constraint Forbidden Patterns

International audienceAlthough the CSP (constraint satisfaction problem) is NP-complete, even in the case when all constraints are binary, certain classes of instances are tractable. We study classes of binary CSP instances defined by excluding subproblems. This approach has recently led to the discovery of novel tractable classes. The complete characterisation of all tractable classes defined by forbidding patterns (where a pattern is simply a compact representation of a set of subproblems) is a challenging problem. We demonstrate a dichotomy in the case of forbidden patterns consisting of either one or two constraints. This has allowed us to discover several new tractable classes including, for example, a novel generalisation of 2SAT. We then extend this dichotomy to existential patterns whic hare only forbidden on specific domain values

Caractérisation de la complexité des classes de CSP définies par des motifs interdits à deux contraintes.

National audienceNovel tractable classes of the binary CSP (constraint satisfaction problem) have recently been discovered by studying classes of instances defined by excluding subproblems described by patterns. The complete characterisation of all tractable classes defined by forbidden patterns is a challenging problem. We demonstrate a dichotomy in the case of forbidden patterns consisting of two constraints. This has allowed us to discover new tractable classes.De nouvelles classes traitables du CSP (Problème de Satisfaction de Contraintes) ont été récemment découvertes via l'étude de classes d'instances définies par l'exclusion de sous-problèmes décrits par des motifs. La caractérisation complète de toutes les classes traitables définies par des motifs interdits est un problème ambitieux. Nous démontrons une dichotomie dans le cas de motifs interdits constitués de deux contraintes. Ce travail nous a permis d'identifier de nouvelles classes traitables

A Collection of Constraint Programming Models for the Three-Dimensional Stable Matching Problem with Cyclic Preferences

We introduce five constraint models for the 3-dimensional stable matching problem with cyclic preferences and study their relative performances under diverse configurations. While several constraint models have been proposed for variants of the two-dimensional stable matching problem, we are the first to present constraint models for a higher number of dimensions. We show for all five models how to capture two different stability notions, namely weak and strong stability. Additionally, we translate some well-known fairness notions (i.e. sex-equal, minimum regret, egalitarian) into 3-dimensional matchings, and present how to capture them in each model. Our tests cover dozens of problem sizes and four different instance generation methods. We explore two levels of commitment in our models: one where we have an individual variable for each agent (individual commitment), and another one where the determination of a variable involves pairing the three agents at once (group commitment). Our experiments show that the suitability of the commitment depends on the type of stability we are dealing with. Our experiments not only led us to discover dependencies between the type of stability and the instance generation method, but also brought light to the role that learning and restarts can play in solving this kind of problems

Broken Triangles Revisited

International audienceA broken triangle is a pattern of (in)compatibilities between assignments in a binary CSP (constraint satisfaction problem). In the absence of certain broken triangles, satisfiability-preserving domain reductions are possible via merging of domain values. We investigate the possibility of maximising the number of domain reduction operations by the choice of the order in which they are applied, as well as their interaction with arc consistency operations. It turns out that it is NP-hard to choose the best order

Forbidden patterns in constraint satisfaction problems

Le problème de satisfaction de contraintes (CSP) est NP-complet, même dans le cas où toutes les contraintes sont binaires. Cependant, certaines classes d'instances CSP sont traitables. Récemment, une nouvelle méthode pour définir de telles classes aémergée. Cette approche est centrée autour des motifs interdits, ou l'absence locale de certaines conditions. Elle est l'objet de ma thèse. Nous définissons formellement ce que sont les motifs interdits, présentons les propriétés qu'ils détiennent, et finalement les utilisons afin d'établir plusieurs résultats de complexité importants. En utilisant différentes versions de motifs, toutes basées sur le même concept de base, nous énumérons un nombre important de nouvelles classes traitables, ainsi que certaines NP-completes. Nous combinons ces résultats pour révéler plusieurs dichotomies, chacune englobant une large gamme de classes d'instances CSP. Nous montrons aussi que les motifs interdits représentent un outil intéressant pour la simplification d'instances CSPs. Nous donnons plusieurs nouveaux moyens de réduire la taille des instances CSP, que ce soit en éliminant des variables ou en fusionnant les domaines, et montrons comment ces méthodes sont activées par l'absence locale de certains modèles. Comme les conditions de leurutilisation sont entièrement locales, nos opérations peuvent être utilisés sur un large éventail de problèmes.The Constraint Satisfaction Problem (CSP) is NP-Complete, even in the case where all constraints are binary. However, some classes of CSP instances are tractable. Recently, a new method for defining such classes has emerged. This approach is centered around forbidden patterns, or the local absence of some conditions. It is the focus of my thesis. We formally define what forbidden patterns are, exhibit the properties they hold, and eventually put them to use in order to establish several important tractability results. Using different versions of patterns, all based on the same core concept, we list a significant number of new tractable classes, as well as some NP-Complete ones. We combine these results to reveal several dichotomies, each one encompassing a large range of classes of CSP instances. We also show how useful a tool forbidden patterns can be in the field of CSP instance simplification. We give multiple new ways of decreasing the size of CSP instances, whether by eliminating variables or fusioning domains, and prove how all these methods are enabled by the local absence of some patterns. Since the conditions for their use are entirely local, our operations can be used on a wide array of problems

Variable Elimination in Binary CSP via Forbidden Patterns

International audienceA variable elimination rule allows the polynomialtime identification of certain variables whose elimination does not affect the satisfiability of an instance. Variable elimination in the constraint satisfaction problem (CSP) can be used in preprocessing or during search to reduce search space size. We show that there are essentially just four variable elimination rules defined by forbidding generic sub-instances, known as irreducible patterns, in arc-consistent CSP instances. One of these rules is the Broken Triangle Property, whereas the other three are novel

Pushing the frontier of minimality

The Minimal Constraint Satisfaction Problem, or Minimal CSP for short, arises in a number of real-world applications, most notably in constraint-based product configuration. It is composed of the set of CSP problems where every allowed tuple can be extended to a solution. Despite the very restrictive structure, computing a solution to a Minimal CSP instance is NP-hard in the general case. In this paper, we look at three independent ways to add further restrictions to the problem. First, we bound the size of the domains. Second, we define the arity as a function on the number of variables. Finally we study the complexity of computing a solution to a Minimal CSP instance when not just every allowed tuple, but every partial solution smaller than a given size, can be extended to a solution. In all three cases, we show that finding a solution remains NP-hard. All these results reveal that the hardness of minimality is very robust